141. Foundations of mathematical logic
المؤلف: Curry
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
C85
142. Foundations of mathematical logic
المؤلف: Haskell B. Curry,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Logic, Symbolic and mathematical
رده :
QA
.
C85
9
1977
143. Foundations of mathematical logic
المؤلف:
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
رده :
QA9
.
C85
144. Foundations of mathematical logic
المؤلف: Curry, Haskell Brooks, 0091-
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
C97
145. Foundations of mathematical logic
المؤلف: CURRY,HASKELL BROOKS
المکتبة: (طهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
9
.
C85
146. Foundations of mathematical logic
المؤلف:
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic
رده :
164
Cu
147. Foundations of mathematical logic
المؤلف: Curry, Haskell Brooks
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
C85
1977
148. Foundations of mathematical logic /
المؤلف: Haskell B. Curry.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
.
C85
1977
149. Foundations of mathematical logic
المؤلف: Curry, Haskell B. )Haskell Brooks(, 0091-2891
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Logic, Symbolic and mathematical.
رده :
BC
135
.
C8F6
150. Frege and Godel; in mathematical Logic
المؤلف: / edited by Jean van Hijenoort,Van Heijenoort
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical,Mathematics -- Philosophy
رده :
QA
9
.
V28
151. From Frege to Godel; a source book in mathematical logic, 1879-1931
المؤلف: Van Heijenoort, Jean
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Mathematics-- Philosophy-- Addresses, essays, lectures
رده :
QA
9
.
V3
152. From Frege to Godel; a source book in mathematical logic, 1879-1931
المؤلف: Van Heijenoort, Jean, 2191-6891
المکتبة: (طهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
QA
9
.
V34
153. Fundamentals of mathematical logic /
المؤلف: Peter G. Hinman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005
154. Fuzzy sets and fuzzy logic : the foundations of application--from a mathematical point of view
المؤلف: Gottwald, Siegfried
المکتبة: (طهران)
موضوع: ، Fuzzy sets,، Fuzzy logic
رده :
QA
248
.
G64
1993
155. Handbook of mathematical fuzzy logic;volume 3.
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
156. Handbook of mathematical logic
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
H32
157. Handbook of mathematical logic
المؤلف: edited by Jon Barwise, with the cooperation of H. J. Keisler ... )et al(
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
H32
158. Handbook of mathematical logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
159. Handbook of mathematical logic
المؤلف: edited by Jon Barwise, with the cooperation of H. J. Keisler ... )et al(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
H32
160. Handbook of mathematical logic
المؤلف: edited by John Barwise, with the cooperation of H.J. Keisler...]et al.[
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
H32
1977
